21. A hierarchical associative processing system
پدیدآورنده : Stuttgen, Heinrich J.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Associative storage,، Programming languages )Electronic computers(,، Computer architecture
رده :
QA
76
.
L4
v
.
195
22. A layered declarative approach to ontology translation with knowledge preservation
پدیدآورنده : Corcho, Oscar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Knowledge representation )Information theory(,، Conceptual structures )Information theory(,، Ontology,Syntax ، Programming languages )Electronic computers(,، Database design,، Expert systems )Computer science(
رده :
Q
387
.
C67
2005
23. A modular curriculum in computer science
پدیدآورنده : ]Prepard and witten by the Technical Committee for Education )TC3( of the International Federatioon for information Processing)IFIP(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic digital computers
رده :
QA
76
.
5
.
M63
24. A parallel pipeline computer architecture for speech processing
پدیدآورنده : / by Vassilios John Georgiou
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Speech proceseing systems,Parallel proceseing (Electronic computers)
رده :
TK7882
.
S65G46
1984
25. A parallel pipeline computer architecture for speech processing
پدیدآورنده : Georgiou, Vassilios John
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Speech processing systems,، Parallel processing )Electronic computers(
رده :
TK
7882
.
S65
.
G46
1984
26. A practical introduction to denotational semantics
پدیدآورنده : Allison, Lloyd
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
A45
1987
27. A+ practice questions /
پدیدآورنده : Charles J. Brooks ; [edited by Ed Tittel].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computing Technology Industry Association-- Examinations,Computing Technology Industry Association.,Computer technicians-- Certification, Study guides.,Electronic data processing personnel-- Certification.,Microcomputers-- Examinations, Study guides.,Computer technicians-- Certification.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing personnel-- Certification.,Examinations.
رده :
QA76
.
3
.
B773
2004eb
28. A programming approach to computability
پدیدآورنده : / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Computable functions,Programming (Electronic computers)
رده :
QA9
.
59
.
K46
29. A relational theory of computing
پدیدآورنده : Sanderson, John G.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Metamathematics
رده :
QA
76
.
L4
v
.
82
30. A science of operations
پدیدآورنده : / by Peter Mark Priestley
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA76
.
6
.
P75
2010
31. A science of operations
پدیدآورنده : Mark Priestley
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
32. A study in string processing languages
پدیدآورنده : Klint, Paul
کتابخانه: (طهران)
موضوع : ، Text processing )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
205
33. A study in string processing languages
پدیدآورنده : Klint, Paul
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Text processing )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
T48
.
K58
1985
34. A study in string processing languages
پدیدآورنده : Klint, Paul.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Text processing )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
205
35. A survey of verification techniques for Parallel programs
پدیدآورنده : Barringer, Howard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel processing )Electronic computers(,Verification ، Computer programs
رده :
QA
76
.
5
.
B29627
1985
36. A survey of verification techniques for parallel programs
پدیدآورنده : Barringer, Howard
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Parallel processing )Electronic Computers(,، Computer programs - Verification
رده :
QA
76
.
5
.
B29627
1985
37. A survey of verification techniques for parallel programs
پدیدآورنده : Howard Barringer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)
رده :
QA76
.
5
H693
1985
38. A view of programming languages
پدیدآورنده : Galler, Bernard A
موضوع : ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
39. ACM Turing Award lectures :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
رده :
QA76
.
24
.
A33
1987
40. APL Progrmming and computer techniques
پدیدآورنده : Katzan, Harry
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، APL )computer program language(,، Electronic digital computers - Programming
رده :
QA
76
.
5
.
K36
